fInt :: Integer -> ()
fInt _ = ()